<html><body bgcolor=white  onload='parent.fileFinishedLoading();'>
Loading edge info file 0...
<script language="javascript">
var ae=parent.ae;
if(ae == undefined) { alert('The code is not yet loaded'); }
ae(0,13,7,13,1,4);
ae(1,24,7,0,1,16,0,10);
ae(2,12,15,0,1,1,0,6);
ae(3,7,20,0,1,12,0,8);
ae(4,16,22,12,1,14);
ae(5,16,23,12,1,16);

</script>Done</html>
